automation of syllogism
演绎推理自动化
热门查询
- rick n. 干草堆；扭伤；人力车 vi. 扭伤 vt. 把…堆成垛；（英）扭伤 adj. 伪装的 n. (Rick)人名；(瑞典)里克；
- menswear n. 男装；男服 adj. 用男服料缝制的
- Congo n. 刚果（位于非洲中部）
- kroner abbr. monetary unit of Norway 克朗（挪威货币单位）（代号） n. 克朗（丹麦、挪威的货币单位），德国旧金币( krone的名词复数 )
- Sukarno n. (Sukarno)人名；(印尼)苏加诺 苏加诺
- blaxploitation n. 对黑人兴趣的利用
- Vass [计]= Visual Analysis SubSystem,直观分析子系统
- bicyclist n. 骑脚踏车者
- godforsaken adj. 倒霉的；堕落的；凄凉的
- sloth n. 怠惰，懒惰；[脊椎] 树懒 n. (Sloth)人名；(丹)斯洛特
- uncut adj. 未切的；毛边的；未雕琢的；未割的
- sanctimonious adj. 假装虔诚的；假装圣洁的；假装诚实的
- concentration camp n. 集中营 [网络] 集中营里；强制収容所
- bluntly adv. 坦率地，直率地；迟钝地
- wonderfully adv. 精彩地；惊人地；极好地
- items n. 项目；名目；所有物品（item的复数形式） v. 记下（item的第三人称单数形式）；逐条记载
- Augustine n. 奥古斯汀（男子名）
- tire n. 轮胎；头饰 vt. 使…疲倦；使…厌烦 vi. 疲劳；厌倦 n. (Tire)人名；(土)蒂雷
- waylay vt. 伏击；埋伏
- proprietor n. 业主；所有者；经营者
